nfa examples